.iteration-crumb {
	cursor: pointer;
	border-bottom: 2px dotted transparent;
	padding: 0 0.5rem 0.5rem 0;
}
.iteration-crumb:hover {
	border-color: var(--gray);
}
